import java.io.*;
public class Example10_19 {
	public static void main(String args[]) {
		File file=new File("Example10_19.java");
		WindowFileLock win=new WindowFileLock(file);
		win.setTitle("使用文件锁");
	}
}
